701. Languages & machines:an introduction to the theory of computer
پدیدآورنده: SUDKAMP,THOMAS A
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: FORMAL LANGUAGES , MACHINE THEORY , COMPUTATIONAL COMPLEXITY
رده :
QA
267
.
3
.
S83
702. Lattice-Ordered Groups :
پدیدآورنده: by Marlow Anderson, Todd Feil.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational complexity.,Computer science.
رده :
QA76
.
9
.
M35
B963
1988
703. Lectures on a theory of computation and complexity over the reals
پدیدآورنده: Lenore Blum
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computational complexity
رده :
QA
267
.
7
.
B58
704. Lectures on complex networks /
پدیدآورنده: Sergey N. Dorogovtsev.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational complexity.,Computer networks.,Information networks.,Mathematical physics.,System analysis.,Complexité de calcul (informatique),Computational complexity.,Computer networks.,Information networks.,Mathematical physics.,Netzwerk.,Netzwerk.,Physique mathématique.,Réseaux d'information.,Réseaux d'ordinateurs.,System analysis.,Systèmes, Analyse de.
رده :
TK5105
.
5
.
D675
2010
705. Lectures on the complexity of bilinear problems
پدیدآورنده: De Groote, H. F. )Hans F.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Computational complexity,، Bilinear forms,، Mappings )Mathematics(
رده :
QA
76
.
L4
v
.
245
706. Lectures on the complexity of bilinear problems
پدیدآورنده: H.F. De Groote
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computational complexity,، Bilinear forms,، Algorithms
رده :
QA
76
.
L28
Vol
.
245
707. Logic-Based Program Synthesis and Transformation
پدیدآورنده:
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic programming -- Congresses,Computational complexity -- Congresses,Logics and Meanings of Programs,برنامهنویسی منطقی -- کنگرهها,پیچیدگی محاسباتی -- کنگرهها
رده :
E-Book
,
708. Logic, algebra and computation
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Logic Programming- Congresses ► Algebra- Congresses ► Computational Complexity- Congresses
رده :
005
L832
709. Logic, algebra, and computation: international summer school directed by F.L. Bauer ... [et al.]
پدیدآورنده: / edited by Friedrich L. Bauer
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Logic programming- Congresses,Algebra- Congresses,Computational complexity- Congresses
رده :
QA76
.
63
.
L618
1991
710. Logic, algebra, and computation : international summer school directed by F.L. Bauer ... )et al.(
پدیدآورنده: edited by Friedrich L. Bauer
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Logic programming,Congresses ، Algebra,Congresses ، Computational complexity
رده :
QA
76
.
63
.
L618
1991
711. Logic, algebra, and computation : international summer school directed by F.L. Bauer ... (et al.)
پدیدآورنده: / edited by Friedrich L. Bauer
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Logic programming - Congresses,Algebra - Congresses,Computational complexity - Congresses
رده :
QA76
.
63
.
L618
1991
712. Logic and Complexity
پدیدآورنده: by Richard Lassaigne, Michel Rougemont.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational complexity.,Computer science.,Logic design.
رده :
QA267
.
7
B975
2004
713. Logic and automata
پدیدآورنده: / edited by Jeorg Flum, Erich Greadel, Thomas Wilke
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Machine theory.,Logic, Symbolic and mathematical.,Computer science--Mathematics,Computational complexity.
رده :
QA
,
267
,.
L624
,
2008
715. Logic and computational complexity : international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical-- Congresses,، Computational complexity-- Congresses
رده :
QA
9
.
A1
.
L625
1995
716. Logic and computer science
پدیدآورنده: / Edited by Piergiorgio Odifreddi
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Logic, Symbolic and mathematical -- Congresses,Programming (Mathematics) -- Congresses,Computational complexity -- Congresses
رده :
QA
9
.
L6
1990
717. Logic and computer science : lectures given at the 1st Session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988
پدیدآورنده: S. Homer ... ]et al.[; editor, P. Odifreddi
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity
رده :
QA
3
.
L28
Vol
.
1429
718. Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988
پدیدآورنده: S. Homer...]et al.[; editor, P. Odifreddi
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity
رده :
QA
3
.
L28
no
.
1429
719. Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical-- Congresses,، Programming )Mathematics(-- Congresses,، Computational complexity-- Congresses
رده :
QA
3
.
L28
no
.
1429
720. Logic and computer science: lectures given at the 1st session of the centro internazioale matematico Estive )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988
پدیدآورنده: S. Homer...]et al.[; editor, P. Odifreddi
کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity
رده :
QA
9
.
L63
1990
